#define _CRT_SECURE_NO_WARNINGS 1
//#include<stdio.h>
//
//void swap(int* a, int* b)
//{
//    int tmp = *a;
//    *a = *b;
//    *b = tmp;
//}
//
//void q_sort(int* a, int left, int right)
//{
//    if (left > right)
//    {
//        return;
//    }
//
//    int key = left;
//    int begin = left;
//    int end = right;
//    while (begin < end)
//    {
//        while (begin<end && a[end]>=a[key])
//        {
//            end--;
//        }
//
//        while (begin < end && a[begin] <= a[key])
//        {
//            begin++;
//        }
//
//        swap(&a[begin], &a[end]);
//    }
//    swap(&a[begin], &a[key]);
//    key = begin;
//    q_sort(a, left, key - 1);
//    q_sort(a, key + 1, right);
//}
//
//int triangleNumber(int* nums, int numsSize) {
//    q_sort(nums, 0, numsSize - 1);
//    int ret = 0;
//    for (int i = numsSize - 1; i >= 2; i--)
//    {
//        int left = 0;
//        int right = i - 1;
//        while (left < right)
//        {
//            if (nums[left] + nums[right] > nums[i])
//            {
//                ret += right - left;
//                right--;
//            }
//            else
//            {
//                left++;
//            }
//        }
//    }
//    return ret;
//}
//int main()
//{
//    int arr[] = { 2,2,3,4};
//    int len = sizeof(arr) / sizeof(arr[0]);
//    q_sort(arr,0, len-1);
//    for (int i = 0; i < len; i++)
//    {
//        printf("%d ",arr[i]);
//    }
//    printf("\n");
//	return 0;
//}

//#include <stdio.h>
//int sum = 0;
//int GetDayNumber(int year, int month, int day)
//{
//    int arr[] = { -1,31,28,31,30,31,30,31,31,30,31,30,31 };
//    if ((year % 4 == 0 && year % 100 != 0) || (year % 400 == 0))
//    {
//        arr[2] += 1;
//    }
//    int n = month - 1;
//    while (n > 0)
//    {
//        sum += arr[n];
//        --n;
//    }
//    //printf("%d",day);
//    return sum + day;
//}
//
//int main() {
//    int year, month, day;
//
//    scanf("%d %d %d", &year, &month, &day);
//    printf("%d", GetDayNumber(year, month, day));
//    return 0;
//}

#include <stdio.h>

int main() {
    int year, num;
    int array[2][13] = { {0,31,28,31,30,31,30,31,31,30,31,30,31},
                    {0,31,29,31,30,31,30,31,31,30,31,30,31} };
    while (scanf("%d %d", &year, &num) != EOF) {
        int key = 0;
        int day = 0, month = 1;
        day += num;
        if ((year % 4 == 0 && year % 100 != 0) || (year % 400 == 0))key = 1;
        while (day > array[key][month])
        {
            day -= array[key][month];
            ++month;
            if (month > 12)
            {
                ++year;
                month = 1;
                if ((year % 4 == 0 && year % 100 != 0) || (year % 400 == 0))key = 1;
            }
        }
        printf("%4d-%02d-%02d\n", year, month, day);
    }
    return 0;
}